Перевод: с английского на немецкий

с немецкого на английский

nicht beweisbar

См. также в других словарях:

  • beweisbar — erwiesenermaßen; nachweislich * * * be|weis|bar 〈Adj.〉 so beschaffen, dass man es beweisen kann ● diese Behauptung ist (nicht) beweisbar * * * be|weis|bar <Adj.>: sich beweisen lassend: eine nicht, nur schwer, kaum e Behauptung; es ist b.,… …   Universal-Lexikon

  • Nicht-Theismus — Das Wort „Atheismus“ bezeichnet meistens den Glauben, dass Gott nicht existiert, oder dass es allgemein keine Götter gibt. Es finden sich aber großzügigere Definitionen, die den Atheismus nicht mit einer Existenzverneinung gleichsetzen. So wird… …   Deutsch Wikipedia

  • Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Modallogik — Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren,… …   Deutsch Wikipedia

  • Eherecht (Katholische Kirche) — Das Eherecht der katholischen Kirche geht davon aus, dass die Ehe eine von Gott gewollte natürliche Einrichtung (Institution) zwischen einem Mann und einer Frau ist. Die Ehe ist nach katholischem Glauben ein von Jesus Christus eingesetztes… …   Deutsch Wikipedia

  • Naive Mengenlehre — Der Begriff „naive Mengenlehre“ entstand am Anfang des 20. Jahrhunderts als Reaktion auf die Mengenlehre des 19. Jahrhunderts, in der eine ungeregelte oder unbeschränkte Mengenbildung praktiziert wurde.[1] Wegen Widersprüchen, die sich in ihr… …   Deutsch Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»